board/widora/tiny200/helper/rebuild-kernel.sh